Order topology - PDFSEARCH.IO - Document Search Engine

Order topology
Results: 290

#	Item
31	Intro First-order theories Higher-order theories Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-09-16 03:38:56 Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure
32	PDF Document Add to Reading List Source URL: www.kroening.com Language: English - Date: 2015-02-13 06:17:10 Formal methods Logic in computer science Vienna Development Method Functional analysis General topology Wellfoundedness Satisfiability modulo theories First-order logic Constructible universe F-algebra Ordinal number Sequence
33	S.H Horikawa – Star Strider Robot (スターストライダーロボット) – Front Add to Reading List Source URL: www.akbc.ws Language: English - Date: 2015-04-02 16:06:46 Structure Order theory Category theory Differential topology Embedding General topology Mathematics Model theory Topology
34	In defence of Dedekind and Heine–Borel Paul Taylor Third Workshop on Formal Topology Padova, mercoled`ı, il 9 Maggio 2007 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:14 Metric geometry Real analysis Least-upper-bound property Order theory Cauchy sequence Real number Mathematical logic Complete metric space Compact space Mathematics Mathematical analysis Topology
35	The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-06-03 17:25:38 General topology Order theory Real analysis Calculus Measure theory Least-upper-bound property Compact space Intermediate value theorem Continuous function Mathematical analysis Topology Mathematics
36	SNApp_Presentation_r3.ppt Add to Reading List Source URL: www.parker.com Language: English - Date: 2013-11-05 12:50:29 Order theory Air filter Filtration Oil filter Chemistry Filter General topology
37	Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-04-02 14:59:57 Order theory Algebraic topology F-coalgebra Coalgebra Partially ordered set Preorder Equivalence relation Functor Presentation of a group Mathematics Abstract algebra Category theory
38	Evaluation of Output Embeddings for Fine-Grained Image Classification Zeynep Akata∗ , Scott Reed† , Daniel Walter† , Honglak Lee† and Bernt Schiele∗ ∗ Computer Vision and Multimodal Computing Max Planck Insti Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2015-07-10 12:22:22 Topology Maps of manifolds Model theory Category theory Differential topology Embedding WordNet Monotonic function Mathematical analysis Mathematics Order theory
39	Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2013-03-26 18:38:51 Mathematics Topology Functional programming Monad Preorder Grothendieck topology Kleisli category Alexandrov topology Adjoint functors Category theory Order theory
40	Abstracts & Program 1st Workshop on Mathematical Aspects of Computer Sciences: Models of Computation with Order and Topology Add to Reading List Source URL: math-cs.ir - Date: 2015-04-08 12:22:35